从真值表来验证（ （ p→q）∧﹁ p）├﹁q 是否为有效式。

“中子都是不带电的”这一判断是（ ）。

• A、全称肯定判断
• B、全称否定判断
• C、特称肯定判断
• D、特称否定判断

不具有属种关系的两组概念是（ ）。

• A、“演绎推理”与“三段论推理”
• B、“复合判断”与“负判断”
• C、“概念”与“概念的内涵”
• D、“思维的逻辑形式”与“判断形式”
• E、“推理”与“前提”